A Continuation based Programming Language for Embedded Systems
نویسنده
چکیده
Embedded Systems Shinji Kono E-Mail: [email protected] Information Engineering, University of the Ryukyus, PRESTO, Japan Science and Technology Corporation Abstract To solve the gap between hardware and software, continuation based languages are introduced. C with Continuation is a super set of C, which supports light weight continuation. C based Continuation is a subset of C which has no function call. Using light weight continucation, state machine and stack machines are programmed in uniform. 1 Gap between Programming Language and System Description Today, we have to develop various kind of things from very small one to very big one. Big or small, the systems require complex functions such as complex user interface or i-mode interface in mobile phones. These systems are combination of hardware description of ASIC and software ( assembler or C ). Some system features new CPU or modified CPU. It requires assembly language level descriptions or a new compiler. These modifications are of course system dependent. On the other hands, the state of the art of programming languages such as C++ or Java are Object oriented and featuring complex semantics such as message passing with inheritance and protection. These features are useful for dynamic systems. But embedded system are usually used in stable environment. Even in large systems, most computations are routine works or predicted events. Less than 0.1In this situation, object oriented computation does not work well. The situation is this. Both hardware and software become complex towards different directions. (fig.1)
منابع مشابه
A Microcomputer-Based Simulator for Digital Control Systems
A microcomputer-based simulator for digital control systems is proposed. The proposed simulator is a hybrid system in which the plant is simulated by conventional method of analog computers and other parts of the system including generation of input signal is performed digitally, using a Z-80 based microcomputer. To overcome the difficulty of programming in assembly language, and at the same ti...
متن کاملImplementing Concurrency For An ML - based Operating System
In this paper I describe the design, implementation, and features of ML/OS, an operating system with an embedded ML compiler. ML/OS supports a continuation-based thread model of concurrency with non-blocking, interrupt-driven input/output. By embedding the ML compiler into the operating system, ML/OS attempts to eliminate levels of abstraction that are present in traditional interactions betwee...
متن کاملSynchronous Modeling and Validation of Priority Inheritance Schedulers
Architecture Description Languages (ADLs) allow embedded systems to be described as assemblies of hardware and software components. It is attractive to use such a global modelling as a basis for early system analysis. However, in such descriptions, the applicative software is often abstracted away, and is supposed to be developed in some host programming language. This forbids to take the appli...
متن کاملEmbedded interpreters
This is a tutorial on using type-indexed embedding/projection pairs when writing interpreters in statically-typed functional languages. The method allows (higher-order) values in the interpreting language to be embedded in the interpreted language and values from the interpreted language may be projected back into the interpreting one. This is particularly useful when adding command-line interf...
متن کاملSynchronous modeling and validation of schedulers dealing with shared resources1
Architecture Description Languages (ADLs) allow embedded systems to be described as assemblies of hardware and software components. It is attractive to use such a global modelling as a basis for early system analysis. However, in such descriptions, the applicative software is often abstracted away, and is supposed to be developed in some host programming language. This forbids to take the appli...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2006